|
|
1.
|
Automatic Algorithm Recognition and Replacement : a new approach to program optimization
by Wen, Zhaofang | Metzger, Robert C. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 005.1 MET] (1).
|
|
|
2.
|
Programming Methodology
by Mclver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
|
3.
|
Software Design
by Detienne, Francoise. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 DET] (1).
|
|
|
4.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
|
5.
|
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
by Broy, Manfred | Zamulin, Alexandre V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
|
6.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
|
7.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
8.
|
Object-oriented and classical software engineering
by Schach, Stephen R. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2002Availability: Items available for loan: [Call number: 005.117 SCH] (2).
|
|
|
9.
|
Software Engineering Concepts
by Fairley, Richard E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 005.1 FAI] (1).
|
|
|
10.
|
Software engineering : Barry W. Boehm's lifetime contributions to software development, management, and research
by Selby, Richard W | Selby, Richard W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 005.1 SEL] (1).
|
|
|
11.
|
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by Calude, Cristian S | Sassone, Vladimiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
|
12.
|
Foundations of Software Technology and Theoretical Computer Science : 29th conference, Kanpur, India, December 15-17, 2009 : proceedings
by Kannan, Ravi | Kumar, K. Narayan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai: Indian Association for Research in Computing Science, 2009Availability: Items available for loan: [Call number: 004.0151 KAN] (1).
|
|
|
13.
|
97 things every software architect should know : collected wisdom from the experts
by Monson-Haefel, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Navi Mumbai: Shroff Publishers, 2009Availability: Items available for loan: [Call number: 005.1 MON] (1).
|
